Software flow control - PDFSEARCH.IO - Document Search Engine

Software flow control
Results: 1051

#	Item
51	HI-CFG: Construction by Binary Analysis, and Application to Attack Polymorphism Dan Caselden1 , Alex Bazhanyuk2 , Mathias Payer3 , Stephen McCamant4 , and Dawn Song3 1 Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Computing Software engineering Memory management Software Computer memory Program analysis Control flow graph Data-flow analysis Data buffer C dynamic memory allocation Stack Call stack
52	Can Asynchronous Exceptions Expire? Benjamin Morandi, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/ Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-09-06 13:17:31 Software engineering Computing Software Concurrent programming languages Control flow Object-oriented programming languages Exception handling SCOOP File locking Go Futures and promises Concurrent computing
53	Fine-Grained Control-Flow Integrity through Binary Hardening Mathias Payer1 , Antonio Barresi2 , and Thomas R. Gross2 1 Purdue University Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Computing Edsger W. Dijkstra Computer security Control-flow integrity Subroutines Control flow Pointer DynamoRIO Goto Stack
54	An Empirical Study of Goto in C Code from GitHub Repositories Meiyappan Nagappan1 , Romain Robbes2 , Yasutaka Kamei3 , Éric Tanter2 , Shane McIntosh4 , Audris Mockus5 , Ahmed E. Hassan6 1 Add to Reading List Source URL: www.se.rit.edu Language: English - Date: 2015-07-15 20:05:57 Software engineering Computer programming Computing Edsger W. Dijkstra Control flow Source code Goto Structured programming Label Spaghetti code Statement Considered harmful
55	Control-Flow Bending: On the Effectiveness of Control-Flow Integrity Nicolas Carlini UC Berkeley Antonio Barresi Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Computing Software engineering Computer programming C standard library Software bugs Computer security Memory management Subroutines Control-flow integrity Call stack Stack buffer overflow Setjmp.h
56	Exceptions  Lightning Talk on Exceptions  Add to Reading List Source URL: miltonkeynes.pm.org Language: English - Date: 2016-02-03 15:58:00 Control flow Software engineering Computing Eval Exception handling Error message Exception handling syntax
57	Transformation-aware Exploit Generation using a HICFG Dan Caselden Alex Bazhanyuk Mathias Payer Laszlo Szekeres Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Computer memory Computing Software bugs Software engineering Cyberwarfare Buffer overflow Program analysis Control flow graph Data buffer Data-flow analysis Vulnerability
58	Fine-Grained Control-Flow Integrity for Kernel Software Xinyang Ge∗ , Nirupama Talele∗ , Mathias Payer† , and Trent Jaeger∗ ∗ The Pennsylvania State University Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Computer architecture Software Computing Operating system kernels Linux kernel Computer security Control-flow integrity Kernel System call Protection ring MINIX 3 Microkernel
59	Lockdown: Dynamic Control-Flow Integrity Mathias Payer Antonio Barresi Thomas R. Gross Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Computing Computer programming Software Software bugs Memory management Subroutines C++ Computer security Control-flow integrity Return-oriented programming Pointer Binary translation
60	Control Flow Obfuscation with Information Flow Tracking∗ Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang Parallel Processing Institute Fudan University Add to Reading List Source URL: ipads.se.sjtu.edu.cn Language: English - Date: 2012-01-05 23:24:59 Computing Software engineering Computer programming Compiler construction Control flow Obfuscation Source code Programming language implementation Opaque predicate Control flow graph Data-flow analysis Exception handling

UPDATE